Papers by Rizky Ramadhana Putra
NL2Logic: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models (2026.findings-eacl)
Copied to clipboard
| Challenge: | Structured reasoning approaches that parse first-order logic rules from natural language lack syntax control and semantic faithfulness. |
| Approach: | They propose a structured reasoning paradigm that parses first-order logic rules from natural language and delegates inference to automated solvers. |
| Outcome: | a proposed framework parses first-order logic rules from natural language and delegates inference to automated solvers. |